
  \usepackage{amsmath}
  \usepackage{amssymb}
  \usepackage{amsthm}

  \newtheorem{theorem}{Theorem}[section]
  \newtheorem{axiom}{Axiom}[section]
  \newcommand{\setcomp}[1] {{#1}^{\mathsf{c}}}
